how to write a string to text file in python